Stakeholder Utility Measures for Declarative Processes and Their Use in Process Comparisons

We present a method for calculating and analyzing stakeholder utilities of processes that arise in, but are not limited to, social sciences. These areas include business process analysis, healthcare workflow policy analysis. This is quite general applicable to any situation in which declarative-type constraints modal and/or temporal nature play part. A declarative activities may freely happen while respecting set constraints. For such process, anything so long as it explicitly forbidden. Declarative have been used studied models workflows by several authors. In considering model some system, natural consider how the behaves with respect stakeholders. derive measure utility can be applied very setting. derivation achieved listing collection properties we argue function ought satisfy then using these show specific form must hold utility. The depends on unique traces this requires combinatorial analysis graph represents process. builds previous work Dukes Casey (2021) diversity metrics were derived use themselves metric compare different one another. illustrated examples already exist literature.